| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Formal Methods for Logic Control Software | Formale Methoden für Steuerungssoftware (WS) | Fach-/Modulprüfung | 6 | 514596 | ||
| Formale Methoden für Steuerungssoftware (Übung) | Fach-/Modulprüfung | 516576 | ||||
| Foundations of the UML | Theoretical Foundations of the UML | Fach-/Modulprüfung | 6 | 518548 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 518530 | ||
| Introduction to Model Checking | Übung | 521372 | Mo 12:30-14:00 5056 (2356|056) (×1) Di 10:45-13:15 5056 (2356|056) (×1) Do 08:30-10:00 AH III (2350|314.1) (×10) Do 09:55-12:30 5056 (2356|056) (×1) | |||
| Introduction to Model Checking | Vorlesung | 521373 | Mi 12:30-14:00 AH I (2350|028) (×12) Do 10:30-12:00 AH III (2350|314.1) (×14) | |||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 515602 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 511645 | Mo 08:30-10:00 AH I (2350|028) (×13) Mo 16:30-17:15 5056 (2356|056) (×14) Di 08:30-10:00 AH V (2356|050) (×13) |